c7d950d9984d36a5deda07a210c6e9be0e81b4ae,plugins/org.eclipse.xtext.xbase/src/org/eclipse/xtext/xbase/formatting/FormattingPreferenceValues.java,FormattingPreferenceValues,get,#IntegerKey#,24

Before Change


	}
	
	public int get(IntegerKey key) {
		return Integer.valueOf(values.getPreference(key));
	}
	
	public boolean get(BooleanKey key) {

After Change


	}
	
	public int get(IntegerKey key) {
		final String preference = values.getPreference(key);
		try {
			if (preference != null)
				return Integer.valueOf(preference);
		} catch (NumberFormatException e) {
			log.warn("Couldn't parse value '"+preference+"' of formatting preference '"+key.getId()+"'.");
		}